[TOOLS] Fix xendomains init.d script DOG PIG confusion.
authorAlastair Tse <atse@xensource.com>
Fri, 29 Sep 2006 10:25:25 +0000 (11:25 +0100)
committerAlastair Tse <atse@xensource.com>
Fri, 29 Sep 2006 10:25:25 +0000 (11:25 +0100)
Fix typos in xendomains where we actually mean WDOG_PID.
http://bugzilla.xensource.com/bugzilla/show_bug.cgi?id=754

Signed-off-by: Alastair Tse <atse@xensource.com>
tools/examples/init.d/xendomains

index 358aac78df40602b47431beb1d38d0eafd0b1d1f..b3722882d6ec693c4bc3f09e800699b6af990635 100644 (file)
@@ -352,9 +352,9 @@ stop()
            if test $? -ne 0; then
                rc_failed $?
                echo -n '!'
-               kill $WDOG_PIG >/dev/null 2>&1
+               kill $WDOG_PID >/dev/null 2>&1
            else
-               kill $WDOG_PIG >/dev/null 2>&1
+               kill $WDOG_PID >/dev/null 2>&1
                continue
            fi
        fi
@@ -368,7 +368,7 @@ stop()
                rc_failed $?
                echo -n '!'
            fi
-           kill $WDOG_PIG >/dev/null 2>&1
+           kill $WDOG_PID >/dev/null 2>&1
        fi
     done < <(xm list | grep -v '^Name')